Словарь по логике - закон экспортации - импортации
Связанные словари
Закон экспортации - импортации
логический закон, говорящий о заменимости в определенных случаях конъюнкции ("и") импликацией ("если, то"), и наоборот. Его можно передать так: первое и второе влечет третье тогда и только тогда, когда первое влечет, что второе влечет третье.
Закон слагается из двух импликаций. Одна из них закон экспортации (вынесения) с использованием символики логической представляется так (р, q, r некоторые высказывания, & -конъюнкция, -> импликация):
((p&q)->r)->(p->(q->r)), если (если р и q, то r), то (если р, то (если q, то r)). Напр.: "Если верно, что плоская геометрическая фигура, имеющая четыре равные стороны и четыре равных угла, является квадратом, то, если у плоской фигуры четыре равные стороны, она является квадратом, если у нее четыре равных угла".
Вторая импликация, входящая в данный закон, именуется законом импортации (внесения). Символическая ее запись:
(p->(q->r))->((p&q)->r), если верно, что (если р, то (если q, то r)), то (если р и q, то r).
Вопрос-ответ:
Похожие слова
Самые популярные термины
1 | 1496 | |
2 | 1308 | |
3 | 1164 | |
4 | 1009 | |
5 | 766 | |
6 | 711 | |
7 | 683 | |
8 | 680 | |
9 | 655 | |
10 | 653 | |
11 | 613 | |
12 | 612 | |
13 | 572 | |
14 | 572 | |
15 | 561 | |
16 | 559 | |
17 | 554 | |
18 | 539 | |
19 | 536 | |
20 | 522 |